superadditional specialization

特殊化追加定律